#!/bin/sh
echo 'Summary: Update from CVS'
echo ''
~/bin/tla-changelogs-to-log
#${TLA_TOOL_PFX}tla-changelogs-to-log
